Splitting atoms safely
نویسندگان
چکیده
منابع مشابه
Splitting atoms safely
The aim of this paper is to make a contribution to (compositional) development methods for concurrent programs. In particular, it takes a fresh look at a number of familiar ideas including the problem of interference. Some subtle issues of observability –including granularity– are explored. Based on these points, the paper sets out some requirements for an approach to developing systems by “spl...
متن کاملSplitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
This paper presents a novel formal development of a non-trivial parallel program: Simpson's implementation of asynchronous communication mechanisms (ACMs). Although the correctness of the "4-slot algorithm" has been shown elsewhere, earlier developments are by no means intuitive. The aims of this paper include both the presentation of an understandable (yet formal) design history and the establ...
متن کاملWrap Your Objects Safely
Despite the effort of researchers on distributed systems, programming languages, and security, there is still no good solution offering basic constructs for guaranteeing minimal security at the programming language level. In particular, the notion of a wrapper around an object or component controlling its interaction with the environment has not properly been addressed. This kind of “local fire...
متن کاملUsing Lithium Safely
It has been over 60 years since Australian psychiatrist John Cade first described lithium’s therapeutic role in manic illness. Cade’s seminal 1949 article described the impact of lithium salts in resolving “psychotic excitement” in 10 manic patients. Since this discovery, lithium has become a gold standard treatment for bipolar disorder, with evidence supporting its role in acute mania, depress...
متن کاملA classical analogue for adiabatic Stark splitting in non-hydrogenic atoms
For highly excited lowstates of atoms, a rising electric field causes a mixing between angular momenta that gives rise to Stark states. A relatively simple situation occurs if the electric field is not strong enough to mix states with adjacent principle quantum numbers. If the initial state has slightly lower (higher) energy than the degenerate manifold, then the state adiabatically connects to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.12.029